Skip to content

Conversation

@czgdp1807
Copy link
Collaborator

@czgdp1807 czgdp1807 marked this pull request as ready for review August 29, 2022 14:53
@czgdp1807 czgdp1807 requested a review from certik August 29, 2022 14:59
@czgdp1807
Copy link
Collaborator Author

@certik This is ready. If everything looks good to you, will clean up the git history and merge tomorrow.

Copy link
Contributor

@certik certik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! Looks good.

@czgdp1807 czgdp1807 enabled auto-merge August 30, 2022 05:31
@czgdp1807 czgdp1807 merged commit dda429c into lcompilers:main Aug 30, 2022
@czgdp1807 czgdp1807 deleted the dict09 branch August 30, 2022 05:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants